Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
131	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
132	Microsoft Word - Specification Writing Paper Oct 2014 Add to Reading List Source URL: www.natspec.com.au Language: English - Date: 2014-10-19 20:54:41 Software engineering Product development Quality Specification Technology Evaluation Software development process Formal specification Software Requirements Specification Formal methods Standards Science
133	S pecifying A rchitectur e John Gelder a guide t o pr ofessional pr actice Add to Reading List Source URL: www.natspec.com.au Language: English - Date: 2014-06-25 19:41:11 Quality Specification Technical communication Architecture Construction Formal specification Quantity surveyor User interface specification Software Requirements Specification Standards Technology Product development
134	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
135	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2007-01-29 15:18:04 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
136	ALGOL 60 W. M. Waite December 1, 2012 Abstract This document is an Eli specification from which an analyzer for ALGOL 60 can be generated, or which can be used as one component of a complete ALGOL 60 compiler. Its struct Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2012-12-01 14:34:18 Procedural programming languages Formal languages Compiler construction Cross-platform software ALGOL 68 Lisp programming language ALGOL C Regular expression Software engineering Computing Programming language theory
137	Microsoft Word - ETS07-02-01ver7.doc Add to Reading List Source URL: www.ergon.com.au Language: English - Date: 2012-01-29 19:00:20 Timber industry Specification Wood drying Shall and will Ergon Formal specification Technology Business Visual arts Wood Forestry Lumber
138	TANZANIA BUREAU OF STANDARDS REVISED STANDARDS AS OF JUNE, 2014 S/N 1. 2. Add to Reading List Source URL: www.tbs.go.tz Language: English - Date: 2014-06-24 06:18:34 East Africa Tanzania Specification Test method Wooden box Formal specification Vickers hardness test Technology Africa Evaluation
139	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
140	Australian Capital Territory Gaming Machine (Peripheral Equipment) Approval 2014 (No 12) Notifiable instrument NI2014– 439 made under the Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2014-09-08 19:39:18 Specification Technical communication Formal specification Technology Management Form Standards Product development Quality

UPDATE